University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
651	The Winning Ways of Concurrent Games Pierre Clairambault, Julian Gutierrez, Glynn Winskel University of Cambridge Computer Laboratory Abstract—A bicategory of concurrent games, where nondeterministic strategies are for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-06 09:47:04 Theoretical computer science Models of computation Metalogic Determinacy Denotational semantics Structure Symbol Duality Mathematics Model theory Mathematical logic
652	Probabilistic and Quantum Event Structures Glynn Winskel Computer Laboratory, University of Cambridge, UK Abstract. A mathematical theory of probabilistic and quantum event structures is developed. It has some claim to p Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-03-06 10:39:17
653	Name Generation and Linearity Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract A path-based domain theory for higher-order processes is extended to allow name generation. The original domain Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-04-18 14:05:57
654	The science of guessing: analyzing an anonymized corpus of 70 million passwords Joseph Bonneau Computer Laboratory University of Cambridge [removed] Add to Reading List Source URL: www.jbonneau.com Language: English - Date: 2014-05-03 16:10:03 Randomness Password John the Ripper Salt Entropy Crypt MD5 Password strength Password policy Cryptography Computer security Security
655	The password thicket: technical and market failures in human authentication on the web Joseph Bonneau Computer Laboratory University of Cambridge [removed] Add to Reading List Source URL: www.jbonneau.com Language: English - Date: 2014-05-03 16:10:03 Cryptography Cryptographic software Federated identity Password Identity management Salt One-time password Single sign-on Phishing Security Computer security Access control
656	Symmetry and Concurrency (Extended Abstract) Glynn Winskel University of Cambridge Computer Laboratory, England [removed] http://www.cl.cam.ac.uk/users/gw104 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-09-18 12:00:55 Group theory Algebraic topology Equivalence relation Isomorphism Sheaf Group action Abstract algebra Symmetry Algebra
657	Nominal Domain Theory for Concurrency David Turner and Glynn Winskel University of Cambridge Computer Laboratory Abstract. This paper investigates a methodology of using FM (FraenkelMostowski) sets, and the ideas of nomi Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-06-23 10:57:40 Algebraic geometry Valuation Function Preorder Mathematics Field theory Order theory
658	Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-31 15:16:32 Sheaf theory Models of computation Functors Theoretical computer science Sheaf Initial and terminal objects Presheaf Direct image functor Denotational semantics Category theory Mathematics Abstract algebra
659	Deterministic Concurrent Strategies Glynn Winskel Computer Laboratory, University of Cambridge, UK Abstract. Nondeterministic concurrent strategies—those strategies compatible with copy-cat behaving as identity w.r.t. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-06-28 13:33:37 Model theory FO Finite model theory Structure Mathematical logic Metalogic Mathematics
660	Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information Glynn Winskel Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-11-06 09:16:01 Geometry Structure Universal algebra Duality Model theory Mathematics Abstract algebra

UPDATE